basic
\\[0ex]Connex($T$;$x$,$y$.$R$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$, $y$:$T$. $R$($x$;$y$) $\vee$ $R$($y$;$x$)